module Module

type T =
    member x.P with get ((a, b)) = ()
